The instantiation of values
نویسنده
چکیده
The paper argues that values are universals, either properties or relations. For the latter, instantiation is a matter of the content of the relation, the relata, and the context (the instantiation of further relations). This moderate realist conception helps us solve some notorious problems in axiology, i.e. malicious pleasure, compassion, envy, and perverted love. Another other important implication of this conception is that there is a further property, the one of being a value. It is a higher-order property which can be instantiated by relation (and property) values to various degrees. Finally, the questions of whether particularity is a value and how rarity can be a value are also addressed. The underlying ontological conception provides a sound way of finding a answer to these questions as well.
منابع مشابه
Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking
Here we prove Lemma 3 from the paper Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking submitted to SBMF 2015. According to our parameterisation rules defined in [1], the application of parameterisation (and parameter instantiation) only affects the values of transitions an labellings but not the state space. Thus, M (Bn) and M (Bn)(Bm) in Lemma 3 are both defined o...
متن کاملPartial Instances via Subclassing
The traditional notion of instantiation in Object-Oriented Modeling (OOM) requires objects to be complete, i.e., be fully certain about their existence and attributes. This paper explores the notion of partial instantiation of class diagrams, which allows the modeler to omit some details of objects depending on modeler’s intention. Partial instantiation allows modelers to express optional exist...
متن کاملA Data Model for Design Objects
Modeling concepts for handling structural data of hierarchically composed complex objects are presented. A complex object is modeled as an hierarchy of interfaces and an im plementation. Objects sharing the same interface at any level have same attributes and attribute values up to that level in the hierarchy. This structuring facilitates storage of multiple object versions and their subsequent...
متن کاملOperational Interpretations of an Extension of F ω with Control Operators †
We study the operational semantics of an extension of Girard’s System Fω with two control operators: an abort operation that abandons the current control context, and a callcc operation that captures the current control context. Two classes of operational semantics are considered, each with a call-by-value and a call-by-name variant, differing in their treatment of polymorphic abstraction and i...
متن کامل- 1 - Values and Objects in Programming Languages
The terms value-oriented and object-oriented are used to describe both programming languages and programming styles. This paper attempts to elucidate the differences between values and objects and argues that their proper discrimination can be a valuable aid to conquering program complexity. The first section shows that values amount to timeless abstractions for which the concepts of updating, ...
متن کامل